51![Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA](https://www.pdfsearch.io/img/76a52c4e8a4cce91cd8c0f549267bf3d.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:06:07
|
---|
52![1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi 1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi](https://www.pdfsearch.io/img/0b9f5af5a988b1cf5c0e685c93d84fc0.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
53![GNU dbm A Database Manager by Philip A. Nelson, Jason Downs and Sergey Poznyakoff Manual by Pierre Gaumond, Philip A. Nelson, Jason Downs GNU dbm A Database Manager by Philip A. Nelson, Jason Downs and Sergey Poznyakoff Manual by Pierre Gaumond, Philip A. Nelson, Jason Downs](https://www.pdfsearch.io/img/f7730bbdcc4897fcaf103b50abe38971.jpg) | Add to Reading ListSource URL: www.gnu.org.uaLanguage: English - Date: 2016-05-17 05:40:24
|
---|
54![A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999](https://www.pdfsearch.io/img/5e14dabb4264b4002581bb9398bf93fd.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
55![gsaslGenerated by DoxygenFri Oct:50:52
Contents gsaslGenerated by DoxygenFri Oct:50:52
Contents](https://www.pdfsearch.io/img/35ab963113d819312c2ffa2df137b6ef.jpg) | Add to Reading ListSource URL: josefsson.orgLanguage: English - Date: 2015-08-11 16:46:21
|
---|
56![Writing RDMA applications on Linux Example programs Roland Dreier September 3, 2007 Writing RDMA applications on Linux Example programs Roland Dreier September 3, 2007](https://www.pdfsearch.io/img/0faf419b8c18982018698b37b545a754.jpg) | Add to Reading ListSource URL: www.digitalvampire.orgLanguage: English - Date: 2007-10-10 17:23:13
|
---|
57![Program Specialization via Program Slicing Thomas Reps and Todd Turnidge University of Wisconsin Abstract This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. The Program Specialization via Program Slicing Thomas Reps and Todd Turnidge University of Wisconsin Abstract This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. The](https://www.pdfsearch.io/img/b5a870c9d5ff7a53519bcb75af62df91.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:37
|
---|
58![VEX Parameter Tables Rev 1.5b1 29 January 2002 Each VEX primitive $block is allowed to specify only parameters which are defined for that type of $block. The VEX Parameter Tables define in detail these parameters for eac VEX Parameter Tables Rev 1.5b1 29 January 2002 Each VEX primitive $block is allowed to specify only parameters which are defined for that type of $block. The VEX Parameter Tables define in detail these parameters for eac](https://www.pdfsearch.io/img/7126d19a3ee961e5ab81e7331fdeb32b.jpg) | Add to Reading ListSource URL: www.vlbi.orgLanguage: English - Date: 2010-09-08 12:46:55
|
---|
59![The Semantics of Power and ARM Multiprocessor Machine Code Jade Alglave2 Anthony Fox1 Samin Ishtiaq3 Magnus O. Myreen1 The Semantics of Power and ARM Multiprocessor Machine Code Jade Alglave2 Anthony Fox1 Samin Ishtiaq3 Magnus O. Myreen1](https://www.pdfsearch.io/img/d5d03b94d2d0f61cdc6a0f5eacf02255.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English - Date: 2012-09-10 07:41:00
|
---|
60![Semantic Patches for specifying and automating Collateral Evolutions Yoann Padioleau Semantic Patches for specifying and automating Collateral Evolutions Yoann Padioleau](https://www.pdfsearch.io/img/d9aa9b9e5609b210c41641fc9ad70e80.jpg) | Add to Reading ListSource URL: coccinelle.lip6.frLanguage: English |
---|